package hu.bme.mit.bpel.incquery.validation.constraints;

import org.eclipse.viatra2.emf.incquery.runtime.api.IMatcherFactory;
import org.eclipse.viatra2.emf.incquery.runtime.api.IncQueryMatcher;
import org.eclipse.viatra2.emf.incquery.validation.core.Constraint;

import patternmatchers.bpelqueries.FindUnusedCyclesMatcher;
import signatures.bpelqueries.FindUnusedCyclesSignature;

public class CycleConstraint extends Constraint<FindUnusedCyclesSignature> {

	@Override
	public String getMessage() {
		return "The cycle does not have an assign or invoke activity.";
	}

	@Override
	public IMatcherFactory<FindUnusedCyclesSignature, ? extends IncQueryMatcher<FindUnusedCyclesSignature>> matcherFactory() {
		return FindUnusedCyclesMatcher.FACTORY;
	}


}
